大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beijing PCST Working Symposium (2005) 的图书(共4642本)

FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

0
索取号：
作者：Misra、 Jayadev.、Nipkow、 Tobias.、Sekerinski、 Emil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers

0
索取号：
作者：Savac谋、 F. Acar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Data and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

0
索取号：
作者：Damiani、 Ernesto.、Liu、 Peng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

36th Hemophilia Symposium Hamburg 2005 [electronic resource]

0
索取号：
作者：Scharrer、 Inge.、Schramm、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Nonequilibrium Carrier Dynamics in Semiconductors [electronic resource] : Proceedings of the 14th International Conference, July 25鈥⹬ 2005, Chicago, USA

0
索取号：
作者：Saraniti、 M.、Ravaioli、 U.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Argumentation in Multi-Agent Systems [electronic resource] : Second International Workshop, ArgMAS 2005 Utrecht, The Netherlands, July 26, 2005 Revised Selected and Invited Papers

0
索取号：
作者：Parsons、 Simon.、Maudet、 Nicolas.、Moraitis、 Pavlos.、Rahwan、 Iyad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers

0
索取号：
作者：Anderson、 James H.、Prencipe、 Giuseppe.、Wattenhofer、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Smart Graphics [electronic resource] : 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006. Proceedings

0
索取号：
作者：Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

0
索取号：
作者：Hess、 Florian.、Pauli、 Sebastian.、Pohst、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biomedical Simulation [electronic resource] : Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006. Proceedings

0
索取号：
作者：Harders、 Matthias.、Sz茅kely、 G谩bor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Digital Rights Management. Technologies, Issues, Challenges and Systems [electronic resource] : First International Conference, DRMTICS 2005, Sydney, Australia, October 31 - November 2, 2005. Revised Selected Papers

0
索取号：
作者：Safavi-Naini、 Reihaneh.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Advisory Function of the International Court of Justice 1946-2005 [electronic resource]

0
索取号：
作者：Aljaghoub、 Mahasen M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, V盲ster氓s, Sweden, June 29 - July 1, 2006. Proceedings

0
索取号：
作者：Gorton、 Ian.、Heineman、 George T.、Crnkovi膰、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Progress in Spatial Data Handling [electronic resource] : 12th International Symposium on Spatial Data Handling

0
索取号：
作者：Riedl、 Andreas.、Kainz、 Wolfgang.、Elmes、 Gregory A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Coding and Cryptography [electronic resource] : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005. Revised Selected Papers

0
索取号：
作者：Ytrehus、 脴yvind.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.